$A$ c$\wedge$ $B$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$:$A$ $\times$ $B$